<?php

echo isset($param);
